Showing 1 - 17 of 17 Results
1.
Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (G... by Apt, Krzysztof R., Olderog,... ISBN: 9783540574798 List Price: $38.00
2.
New Trends Constraints Joint Ercim/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 199... by Apt, Krzysztof R., Kakas, A... ISBN: 9783540678854 List Price: $69.95
3.
Logic Programming Languages Constraints, Functions, and Objects by Apt, Krzysztof R., De Bakke... ISBN: 9780262011341 List Price: $36.95
4.
Recent Advances In Constraints Joint ERCIM/CoLogNET International Workshop on Contraint Solv... by Apt, Krzysztof R., Fages, F... ISBN: 9783540218340 List Price: $69.95
5.
Verification of Sequential and Concurrent Programs (Texts in Computer Science) by Apt, Krzysztof R., Boer, Fr... ISBN: 9781848827448 List Price: $89.95
6.
Constraint Logic Programming Using Eclipse by Apt, Krzysztof R., Wallace,... ISBN: 9780521866286 List Price: $73.00
7.
Lectures in Game Theory for Computer Scientists by Apt, Krzysztof R., Grädel, ... ISBN: 9780521198660 List Price: $72.00
8.
Logic Programming Paradigm A 25-Year Perspective by Apt, Krzysztof R., Marek, V... ISBN: 9783540654636 List Price: $81.95
9.
Verification of Sequential and Concurrent Programs by Apt, Krzysztof R., Boer, Fr... ISBN: 9781848827455
10.
Verification of Sequential and Concurrent Programs by Apt, Krzysztof, Olderog, Er... ISBN: 9781475727159 List Price: $24.99
11.
Logic Programming Paradigm by R Apt, Krzysztof, W Marek, ... ISBN: 9783642600869 List Price: $24.99
12.
Verification of Sequential and Concurrent Programs by Apt, Krzysztof R., De Boer,... ISBN: 9781848827462 List Price: $24.99
13.
Logics and Models of Concurrent Systems by R Apt, Krzysztof ISBN: 9783642824548 List Price: $24.99
14.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge by Apt, Krzysztof R. ISBN: 9781450307079 List Price: $99.00
15.
Verification of Sequential and Concurrent Programs by Apt, Krzysztof, Olderog, Er... ISBN: 9781475743777 List Price: $24.99
16.
Edsger Wybe Dijkstra: His Life, Work, and Legacy by Apt, Krzysztof R., Hoare, Tony ISBN: 9781450397711
17.
Constraint Logic Programming Using Eclipse by Apt, Krzysztof R., Wallace,... ISBN: 9780511345852